div.sidebar {
	width: __sidebar_width__;
	margin-bottom: 1em;
}


div.sidebar div.padder {
	padding-right: 1em;
}

div.sidebar hr {
	margin: 0;
	padding: 0;
	border-top: 1px dashed __ntnu3__;
}
